Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
71	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther
72	Constrained Minimisation1 1 Here we investigate the different ways of writing a constrained minimisation problem. Just to remind you, minimising f (x) is equivalent to maximising −f (x). In a lagrange type formulation Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Constructible universe NC Isocost Ordinal number Theoretical computer science Numerical software Mathematics
73	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN: Add to Reading List Source URL: www.scpe.org Language: English - Date: 2016-08-02 01:58:21 Engineering Computing Theoretical computer science Product testing Systems engineering Workflow technology Model checkers PRISM model checker Model checking Workflow Markov chain Reliability engineering
74	ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT Add to Reading List Source URL: mango.ctegd.uga.edu Language: English - Date: 2013-11-20 03:56:57 Computing Web standards World Wide Web Web services Semantic Web Algorithm Mathematical logic Theoretical computer science Mediation Web Services Description Language SAWSDL Computational linguistics
75	The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, Add to Reading List Source URL: cervone.psu.edu Language: English - Date: 2015-11-18 09:12:46 Theoretical computer science Algorithms Formal methods Software engineering HindleyMilner type system Lambda calculus Type theory Mathematics
76	GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil Add to Reading List Source URL: www.renatoppl.com Language: English - Date: 2013-11-28 12:54:41 Auction theory Mathematics Submodular set function Competitive equilibrium Theoretical computer science Valuation Gross substitutes Software engineering Pure Combinatory logic
77	CS364A: Algorithmic Game Theory Lecture #17: No-Regret Dynamics∗ Tim Roughgarden† November 18, 2013 This lecture continues to study the questions introduced last time. Do strategic players reach an equilibrium of a g Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2015-12-03 15:11:32 Mathematical logic Theoretical computer science Regret Mathematics Game theory Academia Applied mathematics Algorithms Swap regret
78	Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone: Add to Reading List Source URL: students.ceid.upatras.gr Language: English - Date: 2006-02-09 03:56:19 Theoretical computer science Computational complexity theory Mathematics Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Symposium on Discrete Algorithms Approximation algorithm Random walk 2-satisfiability
79	Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Process calculi Theoretical computer science -calculus State-space representation Mathematics Academia Abstraction
80	Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3 Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:29 Computer programming Software engineering Computing Theoretical computer science Programming idioms Algorithms Computability theory Mathematical logic Recursion Programming paradigm Subroutine Iteration

UPDATE